On Corings and Comodules
نویسنده
چکیده
It is shown that the categories of R-coalgebras for a commutative unital ring R and the category of A-corings for some R-algebra A as well as their respective categories of comodules are locally presentable.
منابع مشابه
On Coinduction Functors between Categories of Comodules for Corings
In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally projective corings as a composition of suitable “Trace” and “Hom” functors and show how to derive it from a more general coinduction functor between categories ...
متن کاملFully Coprime Comodules and Fully Coprime Corings
Prime objects were defined as generalization of simple objects in the categories of rings (modules). In this paper we introduce and investigate what turns out to be a suitable generalization of simple corings (simple comodules), namely fully coprime corings (fully coprime comodules). Moreover, we consider several primeness notions in the category of comodules of a given coring and investigate t...
متن کاملA Note On Coinduction Functors between Categories of Comodules for Corings
In this note we consider different versions of coinduction functors between categories of comodules for corings induced by a morphism of corings. In particular we introduce a new version of the coinduction functor in the case of locally projective corings as a composition of suitable “Trace” and “Hom” functors and show how to derive it from a more general coinduction functor between categories ...
متن کاملQuasi-co-frobenius Corings as Galois Comodules
We compare several quasi-Frobenius-type properties for corings that appeared recently in literature and provide several new characterizations for each of these properties. By applying the theory of Galois comodules with a firm coinvariant ring, we can characterize a locally quasi-Frobenius (quasi-co-Frobenius) coring as a locally projective generator in its category of comodules.
متن کاملCoprime Comodules and Coprime Corings
Prime objects were defined as generalization of simple objects in the categories of rings (modules). In this paper we introduce and investigate what turns out to be a suitable generalization of simple corings (simple comodules), namely coprime corings (coprime comodules). Moreover, we consider several primeness notions in the category of comodules of a given coring and investigate their relatio...
متن کامل